theoremproving machine
[計] 定理證明機
熱門查詢
- Claud n. 克勞德（男子名）
- offender n. 罪犯；冒犯者；違法者
- autogenics a. = autogenous
- trademarked n. 商標 標志
- condemnation n. 譴責(zé)；定罪；非難的理由；征用
- Copley 科普利
- keister n. 手提皮箱；屁股；小皮包
- prevalence n. 流行；普遍；廣泛
- netherworld n. 陰間；下層社會
- overwintering vi. 過冬 vt. 過冬
- sagely adv. 賢能地；賢明地
- craze n. 狂熱 vt. 使發(fā)狂；使產(chǎn)生紋裂 vi. 發(fā)狂；產(chǎn)生紋裂
- rearmost adj. 最后的
- Microsoft n. 微軟公司（全球知名的PC軟件主要廠商）
- everett 男便鞋
- posada n. 波薩達（人名）；小旅館；客棧
- coma n. [醫(yī)] 昏迷；[天] 彗形像差 n. (Coma)人名；(法、西)科馬
- pine n. [林] 松樹；鳳梨，菠蘿 adj. 松木的；似松的 vt. 為…悲哀；哀悼 vi. 渴望，痛苦；憔悴 n. (Pine)人名；(英)派因
- KAHLO n. (Kahlo)人名；(德、芬、西)卡洛
- gleneagle [地名] [澳大利亞] 格倫伊格爾
考試詞匯表
- chrysotoxum testaceum
- chrysozephyrus esakii
- chrysso viridiventris
- chthamalus malayensis
- chthonisothermal line
- chubartau (barshatas)
- chucallis bambusicola
- chuck bucket elevator
- chuck for bur,plastic
- chuck herself away on
- chuck himself away on
- chuck with three jaws
- chukucythere fengtaoi
- chukucythere lianhaoi
- chukucythere matatzui
- chunking and chipping
- church-rosser theorem
- churn drilling method
- churn filling machine
- churn washing machine
